Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTIAGO JÚNIOR, V. A.; TAHAR, S. Time performance formal evaluation of complex systems. In: CONGRESSO BRASILEIROD E SOFTWARE: TEORIA E PRÁTICA, , Belo Horizonte, MG. (campo ausente ou vazio: 'booktitle') 2015. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3KA6F98>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santiago Júnior e Tahar (2015).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; TAHAR, 2015).